Philosophy fails

Philosophy of Philosophy of Religion

When Bellman's Principle Fails

We present several examples which show that the well known statements about Markov Decision Processes can fail if the loss function is not bounded.

When Sharing Fails

When Abstraction Fails

Reasoning about programs is mostly deduction: the reasoning from the abstract model to the concrete run. Deduction is useful because it allows us to predict properties of future runs—up to the point that a program will never fail its specification. However, even such a 100% correct program may still show a problem: the specification itself may be problematic, or deduction required us to abstrac...

RoCE Fails to Scale

The authors then attempt to patch together pieces from Ethernet and DCTCP into a sideband congestion control scheme (DCQCN). However, DCQCN remains an unsuccessful attempt to address the issues, as it continues to require the same blunt pause mechanisms that expose the network to congestion collapse. Thus, the paper serves as a proof that the RoCE idea of airlifting the “incompatible InfiniBand...